Analytic Cell Decomposition and Analytic Motivic Integration
نویسندگان
چکیده
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over Fq((t)) of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over K. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of analytic motivic integration and analytic motivic constructible functions in the line of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivique I, Comptes rendus de l’Académie des Sciences, 339 (2004) 411 -
منابع مشابه
Motivic Milnor Fibre of Cyclic L∞-algebras
We define motivic Milnor fibre of cyclic L∞-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space ...
متن کاملA Trace Formula for Rigid Varieties, and Motivic Weil Generating Series for Formal Schemes
We establish a trace formula for rigid varieties X over a complete discretely valued field of equicharacteristic zero, which relates the set of unramified points on X to the Galois action on its étale cohomology. Next, we show that the analytic Milnor fiber of a morphism f at a point x completely determines the analytic germ of f at x. We develop a theory of motivic integration for formal schem...
متن کاملAnalytic P-adic Cell Decomposition and P-adic Integrals
Roughly speaking, the semialgebraic cell decomposition theorem for p-adic numbers describes piecewise the p-adic valuation of p-adic polyno-mials (and more generally of semialgebraic p-adic functions), the pieces being geometrically simple sets, called cells. In this paper we prove a similar cell decomposition theorem to describe piecewise the valuation of analytic functions (and more generally...
متن کامل4 CONSTRUCTIBLE MOTIVIC FUNCTIONS AND MOTIVIC INTEGRATION by Raf
1.1. — In this paper, intented to be the first in a series, we lay new general foundations for motivic integration and give answers to some important issues in the subject. Since its creation by Maxim Kontsevich [20], motivic integration developped quite fast and has spread out in many directions. In a nutshell, in motivic integration, numbers are replaced by geometric objects, like virtual var...
متن کاملFields with Analytic Structure
We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure, o-minimality is shown. For Henselian valued fields, both the model theory and the analytic theory are developed. We give a list of examples that comprises, to ...
متن کامل